On a boundedly rational Pareto-optimal trade in emission reduction

We consider the emission reduction process involving several countries, in which the countries negotiate, in steps, frequently enough, on small, local emission reductions and implement their decisions right away. In every step, the countries either find a mutually acceptable local emission reduction vector and use it as a local emission reduction plan, or terminate the emission reduction process. We prove that the process necessarily terminates in some step and the final total emission reduction vector lies in a small neighborhood of a certain Pareto maximum point in the underlying emission reduction game. We use examples to illustrate some features of the proposed decision making scheme and discuss a way to organize negotiations in every step of the emission reduction process.